#ifndef __EKF_BOOT_AP_S_I_H__
#define __EKF_BOOT_AP_S_I_H__

#define BOOT_AP_ENTRY    0x8000
#define BOOT_AP_GDT      0x9000
#define BOOT_AP_GDT_DESC 0xa000

#ifndef __ASSEMBLER__

extern char boot_ap_entry[];
extern char boot_ap_gdt[];
extern char boot_ap_gdt_desc[];

#endif
#endif
